1 A New ATPG Algorithm for 21 st Century : The Simplest But Powerful
نویسندگان
چکیده
In this paper, we proposed a new ATPG (Automatic Test Pattern Generation) algorithm that can be easily implemented and learned by college level student while achieving fairly efficient fault coverage and fast generation time. Very high level algorithm and its decision tree have been illustrated. The output of the ATPG program is the set of test vectors generated by the new algorithm. The significance of the algorithm is in the initializing PIs (Primary Inputs) technique. Unlike like other algorithms that start off with the unknown (pre-defined as X) PIs values or random (or pseudorandom) PIs values [1], the new algorithm assigns all PIs values to be non-controlling values according to the gate which the PI fan-in to. This suggestion seemed to be an interesting solution for simple but powerful algorithm. Unfortunately, implementation on software has not completed. However, we hand-calculated the TPG vectors using our new algorithm and compared it with the vectors that Hitec/Proofs generated. We found the potential advantages of our algorithm over algorithm that Hitec/Proofs used when testing on c17 bench circuit.
منابع مشابه
21st Century Regionalism: Filling the gap between 21st century trade and 20th century trade rules
This paper weaves several sets of facts into an argument that: 1) today’s trade is radically more complex, involving a “trade-investment-service nexus”, 2) this 21 st century trade demanded deeper disciplines which were supplied by “21 st century regionalism” while the WTO was otherwise occupied, and 3) 21 st century regionalism has quite different implications for the world trading system than...
متن کاملGlobal Competition and Cooperation in Standardization of Wireless Communications
INTRODUCTION Since the first installation of cellular-based wireless public telephone systems back in the early 1980s, the number of wireless communication subscribers has seen dramatic and continuous growth across the world. The total global mobile subscribers grew from 11 million in 1990 to 472 million in 1999, according to ITU's (International Telecommunications Union) statistics. It is fore...
متن کاملTowards Increasing Test Compaction Abilities of SAT-based ATPG through Fault Detection Constraints
Automatic Test Pattern Generation (ATPG) based on Boolean Satisfiability (SAT) is a robust alternative to classical structural ATPG. Due to the powerful reasoning engines of modern SAT solvers, SAT-based algorithms typically provide a high test coverage because of the ability to reliably classify hardto-detect faults. However, a weak point of SAT-based ATPG is the test compaction ability. In th...
متن کاملLearning Techniques for Automatic Test Pattern Generation using Boolean Satisfiability
Automatic Test Pattern Generation (ATPG) is one of the core problems in testing of digital circuits. ATPG algorithms based on Boolean Satisfiability (SAT) turned out to be very powerful, due to great advances in the performance of satisfiability solvers for propositional logic in the last two decades. SAT-based ATPG clearly outperforms classical approaches especially for hard-to-detect faults. ...
متن کاملA Two-Stage SAT-based ATPG Approach with Reduced Switching Activity
Due to the rising performance and decreasing feature sizes of today’s designs, the likelihood of delay defects increases. Therefore, transition fault testing is widely used to ensure that the delivered chips are free of fabrication defects. Due to the use of scan testing, the switching activity in the Circuit Under Test (CUT) is typically several times higher than during normal functional opera...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004